大数据时代法律流程外包视阈下的法律法规翻译

大数据时代的到来,改变了人们的生活方式、思想方式和工作方式,也为国际服务外包产业带来了新的发展机遇。本文首先介绍了WTO透明度原则和我国加入WTO后在法律法规翻译方面应承担的义务及履行情况;其次,从法律流程外包(Legal Process Outsourcing,LPO)的概念、内容和特征出发,分析了大数据技术条件下我国政府法律法规译审外包的必要性,并根据大数据应用的可实时性、可解释性、数据准确性稳定性等基本原则,探讨了大数据技术条件下我国政府法律法规译审外包的运行模式及主要举措;最后,讨论了法律流程外包在我国的发展前景。     

长距离供热管线穿越行洪区的设计方案探讨

随着城市建设规模的不断发展,为满足不断增长的城市供热需求并全面落实国家生态保护、清洁供暖、可持续发展等政策,减少城市环境治理的压力,城市供热热源逐步远离城市,形成许多以长距离供暖和大规模供热为特征的长距离供热管线.由于热源和城市的位置关系,长距离供热管线往往会穿越复杂的障碍区域.以富拉尔基发电厂向齐齐哈尔市长距离供热管网项目穿越行洪区段管网作为案例,从管线穿越障碍区域设计、防洪设计及施工便道设计三个方面对供热管网穿越行洪区时的难点进行分析总结.     

巨型水电站孤岛试验期间AVC电压波动的解决

本文首先分析国内典型的AVC的一般配置、控制策略和控制原理,针对巨型水电站孤岛试验期间的AVC控制的复杂工况进行阐述,对出现的AVC电压波动的情况进行分析,并对采用的解决方案进行介绍,为今后类似电站的孤岛运行期间的AVC电压控制提供一些参考建议。     

基于FCM燃料的商业压水堆中子学分析

全陶瓷微封装(Fully Ceramic Microencapsulated,FCM)燃料是一种将三结构同向性型(Tri-structural isotropic,TRISO)燃料颗粒弥散于SiC基质的先进燃料,具有良好的包容裂变产物的能力,能有效地改善核燃料在严重事故下保持结构完整性的能力,有利于降低核电站发生大量放射性物质泄漏的风险,是耐事故燃料(Accident Tolerant Fuel,ATF)的主要研究方向之一。与传统UO_2陶瓷芯块燃料相比,FCM燃料的U装量较少,且燃料基体采用SiC,慢化能力较好,可能导致FCM燃料应用于商业压水堆时寿期初慢化剂温度系数为正,不能满足堆芯的固有安全性。本文以标准AFA3G 17×17栅格形式的UO_2-Zr合金燃料组件为参照对象,采用中核集团自主研发的NESTOR软件,分析了17×17和13×13两种栅格形式的FCM燃料(UN核芯)组件的中子学特性,评价了由13×13栅格形式的FCM燃料(UN核芯)组成反应堆堆芯的总体物理特性。研究表明:含钆可燃毒物的13×13栅格形式的FCM燃料(UN核芯)组件可满足欠慢化要求,13×13栅格形式的FCM燃料(UN核芯)用于大型商业压水堆堆芯的慢化剂温度系数可以为负,首循环堆芯可达到与参照堆芯接近的燃耗深度与循环长度,能初步满足商业压水堆堆芯的固有安全性和经济性的要求。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

改进HSR-FCN的服装图像识别分类算法研究

目前网络上的服装图像数量增长迅猛，对于大量服装图像实现智能分类的需求日益增加。将基于区域的全卷积网络（Region-Based Fully Convolutional Networks，R-FCN）引入到服装图像识别中，针对服装图像分类中网络训练时间长、形变服装图像识别率低的问题，提出一种新颖的改进框架HSR-FCN。新框架将R-FCN中的区域建议网络和HyperNet网络相融合，改变图片特征学习方式，使得HSR-FCN可以在更短的训练时间内达到更高的准确率。在模型中引入了空间转换网络，对输入服装图像和特征图进行了空间变换及对齐，加强了对多角度服装和形变服装的特征学习。实验结果表明，改进后的HSR-FCN模型有效地加强了对形变服装图像的学习，且在训练时间更短的情况下，比原来的网络模型R-FCN平均准确率提高了大约3个百分点，达到96.69%。     

锂辉石-氧化钙烧结法提锂的物相重构与动力学

对锂辉石-氧化钙烧结过程进行热力学分析，绘制了各反应Gibbs自由能与温度的关系图。结果表明，Al₂O₃会优先和Na₂O、Li₂O、K₂O反应，然后与CaO反应生成CaO·Al₂O₃，而且烧结温度需高于1060℃以保证LiAlSi₂O₆能够完成晶形转变。并探讨了锂辉石-氧化钙烧结法提锂的反应机理。考察了不同烧结条件对锂浸出率的影响并对熟料进行X射线衍射（XRD）分析表征。实验结果表明，在配料比为1∶1.25、烧结温度1150℃、烧结时间60min时，锂的浸出率达到92.14%，熟料中的主要物相为Ca₂SiO₄与LiAlO₂。利用XRD和扫描电镜-能谱联用仪（SEM-EDS）对熟料与浸出渣的物相、显微形貌及元素分布情况进行了分析表征。为了确定烧结反应的控制性步骤，在最优烧结条件的基础上对烧结过程进行动力学分析，结果表明，锂辉石-氧化钙烧结体系属于球形颗粒三维界面化学反应控制，烧结过程的动力学拟合方程为\mathrm{1}-{(\mathrm{1}-x)}^{\mathrm{1}/\mathrm{3}}=\mathrm{0.00677}t。     

无失效数据机载多余度EWIS可靠性研究

针对高可靠度机载多余度EWIS各组成部分寿命服从指数分布但参数未知的情况，提出采用无失效数据可靠度分析方法评估EWIS的可靠度水平。通过Monte-Carlo仿真方法对连接形式为“先并联、后串联”EWIS各组成部分寿命进行抽样，利用“最小最大值”方法获得系统寿命的抽样值，用概率纸检验法初步判断EWIS寿命是否服从威布尔分布，再用Pearson拟合优度检验法判断EWIS寿命是否服从威布尔分布。结合无故障飞行时间的样本值与EWIS寿命服从威布尔分布的假设，采用无失效数据分析方法评估EWIS的可靠度水平。研究方法对机载多余度EWIS无失效数据可靠度分析有一定的贡献。     

苯乳酸抑制链格孢霉作用靶位的分析

以从自然腐败的樱桃上分离的链格孢霉（Alternaria sp.）LD3.0086为指示菌，研究苯乳酸对链格孢霉的主要抑制作用靶位。应用分光光度法测定苯乳酸对链格孢霉的最小抑菌浓度，通过卡尔科弗卢尔荧光增白剂染液（calcofluor white，CFW）染色观察苯乳酸对菌丝顶端生长的破坏作用，利用扫描电子显微镜和透射电子显微镜观察链格孢霉的超微结构变化，通过测定苯乳酸作用前后链格孢霉上清液中N-乙酰葡萄糖胺质量浓度变化研究苯乳酸对菌丝细胞壁的破坏作用，应用荧光双染色法观察苯乳酸对链格孢霉菌丝细胞膜的损伤作用。结果表明，12.5 mmol/L的苯乳酸能有效抑制链格孢霉的生长；与对照组（无菌水处理）相比，苯乳酸处理后链格孢霉顶端生长细胞无明显形变，经12.5 mmol/L苯乳酸处理的链格孢霉上清液中N-乙酰葡萄糖胺质量浓度基本不变；苯乳酸处理24 h，链格孢霉菌丝细胞壁表面无明显损伤，细胞内结构发生明显变化；苯乳酸短时间（4 h）处理链格孢霉，菌丝细胞膜仍较为完整，加入苯乳酸较长时间（8 h）后细胞膜发生破裂。综合分析可知，苯乳酸对链格孢霉的主要作用靶位应不是菌丝体的细胞壁和细胞膜，而是在菌丝体内部，通过破坏菌丝内部细胞器结构或引起细胞内的生化反应，从而抑制链格孢霉的生长和繁殖，发挥抑菌活性。